package obsolete;

import java.util.List;

import solver.OrtExtraLeanIPModelBuilder;
import model.Problem;

public class OrtExtraLeanIPModelBuilderThread extends
		OrtExtraLeanIPModelBuilder implements Runnable {

	public boolean solved = false;

	public OrtExtraLeanIPModelBuilderThread(Problem problem,
			List<Integer> selectedProcesses, boolean verbose,
			int timeLimitInSeconds, long cutoff) {
		super(problem, selectedProcesses, verbose, timeLimitInSeconds, cutoff);

	}

	@Override
	public void run() {
		try {
			// System.out.println("Thread started");
			// System.out.println("Solver started");
			solved = solve(false);
			// System.out.println("Solver finished");
		} catch (Throwable ex) {
			System.out.println("Thread failed!");
			// ex.printStackTrace();
			solved = false;
		}
	}
}
